Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
61	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
62	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
63	AN LP RELAXATION PROCEDURE FOR ANNOTATING POINT FEATURES USING INTERACTIVE GRAPHICS Robert G. Cromley University of Connecticut Storrs, CTABSTRACT Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:58:50 Mathematical optimization Mathematics Mathematical analysis Operations research Convex optimization Linear programming Combinatorial optimization Automatic label placement Constraint Linear programming relaxation Relaxation Candidate solution
64	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
65	Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-05-01 16:39:57 Topology Knowledge representation Mathematics Cognition Computational topology Constraint programming Reasoning Region connection calculus Topological space Spatial relation Framing Topological conjugacy
66	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
67	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
68	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
69	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution

UPDATE